Galois Connections: Mathematics, Art and Archives

نویسندگان

  • Jonathan P. Bowen
  • Tula Giannini
چکیده

Évariste Galois (1811–1832) has been increasingly recognised as an important mathematician who despite his short life developed mathematical ideas that today have led to applications in computer science (such as Galois connections) and elsewhere. Some of Galois’ mathematics can be visualised in interesting and even artistic ways, aided using software. In addition, a significant corpus of the historical documentation on Galois and his family (including his brother Alfred Galois, who was an artist), can now be accessed online as a growing number of institutional archives digitise their collections. This paper introduces some of the mathematics of Galois, ways in which it can be visualised, and also considers the issues and new opportunities with respect to visualising information on Galois and his family (including the connections between them). Although the story of Galois and his close relations can be seen as one of tragedy with lives cut short, from a historical viewpoint Évariste Galois’ contribution to humankind has been a triumph.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fuzzy Galois Connections

The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by (classical) Galois connections is provided. 1...

متن کامل

Lagois Connections - a Counterpart to Galois Connections

In this paper we deene a Lagois connection, which is a generalization of a special type of Galois connection. We begin by introducing two examples of Lagois connections. We then recall the deenition of Galois connection and some of its properties; next we deene Lagois connection, establish some of its properties, and compare these with properties of Galois connections; and then we (further) dev...

متن کامل

A History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids

This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...

متن کامل

On closure axioms for a matroid using Galois connections∗

We present two systems of closure axioms for a matroid with the assistance of Galois connections. These axioms give a mathematical foundation for the connections between matroids, Galois connections and concept lattices. We deal with some relationship between matroids and geometric lattices by the above axioms. We also discuss some applications between matroids and concept lattices with the abo...

متن کامل

Galois Connections and Fixed Point Calculus

Fixed point calculus is about the solution of recursive equations de ̨ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ̨xed point calculus together with a number of applications of direct relevance to the construction of computer programs. The tutorial also presents the theory and application of Galois connections between partially ordered se...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015